System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
931	Evolving a Reflective Language Lessons Learned from Implementing Traits Stéphane Ducasse Marcus Denker Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2011-01-16 12:42:01 Computing Trait Smalltalk Reflection Self Common Lisp Object System Metaobject Dynamic dispatch Constructor Software engineering Object-oriented programming Computer programming
932	Polymorphic Delimited Continuations Kenichi Asai1 and Yukiyoshi Kameyama2 1 Department of Information Science, Ochanomizu University [removed] Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2007-10-10 00:35:06 Theoretical computer science Parametric polymorphism Symbol Type variable Type inference Type system Type theory Programming language theory Software engineering
933	Evaluation of the Vienna APL corrections using reprocessed GNSS series R. Dach1 and P. Steigenberger2 1 Astronomical Institute, University of Bern Add to Reading List Source URL: www.bernese.unibe.ch Language: English - Date: 2011-12-31 12:38:47 Computing Array programming languages Navigation Geodesy APL Global Positioning System Satellite navigation GLONASS American International University-Bangladesh Technology APL programming language family Satellite navigation systems
934	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: gazagnaire.org Language: English - Date: 2013-11-14 06:21:29 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
935	Getting Started with Erlang version 5.4 Typeset in LATEX from SGML source using the DOCBUILDER 3.3 Document System. Add to Reading List Source URL: www.erlang.org Language: English Erlang programming language Ericsson Erlang Subroutines Structured storage Mnesia Guard Eval Higher-order function Software engineering Computing Computer programming
936	Autoconf Creating Automatic Configuration Scripts for version 2.69, 24 April 2012 David MacKenzie Ben Elliston Add to Reading List Source URL: www.gnu.org Language: English - Date: 2012-05-01 15:39:55 Build automation Compiling tools Macro programming languages Programming language implementation C programming language Autoconf GNU build system Make Configure script Software Computing Computer programming
937	Mitigation of unmodelled non–tidal atmospheric pressure loading into parameters of a global GNSS solution R. Dach1 , P. Steigenberger2 , and Johannes B¨ ohm3 1 Add to Reading List Source URL: www.bernese.unibe.ch Language: English - Date: 2012-05-03 02:02:51 Computing Geodesy Array programming languages Avionics APL Global Positioning System Satellite navigation American International University-Bangladesh GLONASS Technology Satellite navigation systems APL programming language family
938	Java Plattform Strategie Update Java Plattform Strategie Wolfgang Weigend Add to Reading List Source URL: www.sigs.de Language: English - Date: 2011-02-14 10:23:41 Java platform Java virtual machine Cross-platform software Java programming language Computing platforms Java Da Vinci Machine HotSpot OpenJDK Computing Software System software
939	Generating Code using Reflection in the Context of Computer-assisted Legacy System Analyses and Reengineering Peter Krall Dr. Peter Krall IT Consulting [removed] Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-16 06:04:36 Compiler construction Parsing Parser generators Compiler-compiler SQL Code generation Domain-specific modeling ANTLR Lexical analysis Programming language implementation Software engineering Computing
940	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: thomas.gazagnaire.org Language: English - Date: 2013-11-14 06:21:29 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory

UPDATE